semiadditive category

半加性范畴